منابع مشابه
Relational Algebra Operations
Relational algebra is the instruction set of relational database systems. In this paper, a set of relational algebra operations are described and slightly enhanced for improved efficiency. How these routines can be implemented on a parallel database computer is described in detail. Four operations are handled: projection, join, aggregation and division. The implemantation is heavyly based on ha...
متن کاملProcess Algebra with Recursive Operations
3 Axiomatisation of the Binary Kleene Star 15 3.1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.2 Completeness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.3 Irredundancy of the Axioms . . . . . . . . . . . . . . . . . . . . . . . 24 3.4 Negative Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 3.5 Extensions of BPA∗(A...
متن کاملExtended Markovian Process Algebra
EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actions (useful for pure nondeterminism), actions whose duration is exponentially distributed as well as immediate actions (useful for performance abstraction), parametrized by priority levels (hence prioritized...
متن کاملMV-algebra extended
In this paper, we propose extensions of affine classical linear algebra(ACL-algebra) and many-valued algebra(MV-algebra), the emphasis is being on the latter. MV-algebras are algebraic models of à Lukasiewicz א0-valued logic(à Lא0) and that was established long back in 1958 by C.C. Chang. MV-algebra is recently studied from the angle of fuzzy set theory. Also it is investigated in connection wi...
متن کاملVisual Parsers based on Extended Constraint Multiset Grammars
We are working for visual paring in these years. We have developed the series of visual parser generators, such as Eviss, VIC and Rainbow. They generate a spatial parser by defining the grammars of visual language. Using generated spatial parser, they can analyze the figures and can execute the specified actions. The GUI generator and the subset of VISPATCH are shown as examples. Keywords— Grap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Intelligent Computing Research
سال: 2016
ISSN: 2042-4655
DOI: 10.20533/ijicr.2042.4655.2016.0087